------------------------------------------------------------------------------
*                                                                            *
*  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
*                                                                            *
------------------------------------------------------------------------------

Giorno: 6-6-1993

Funzione: ä6  (48,40,36,34,33,24,20,18,17,12,10,9,6,5,3,56,52,50,49,44,42,41,
               38,37,35,28,26,25,22,21,19,14,13,11,7,60,58,57,54,53,51,46,45,
               43,39,30,29,27,23,15)

Numero di variabili: 6
Numero di mintermini: 50
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Combinazioni da 2 a 4 uni
Tempo totale di elaborazione: 10:6:31

--------------------------
*         FASE A         *
--------------------------
Tempo di elaborazione: 0:0:1
Numero implicanti primi: 90

Implicanti primi determinati: 
	abEF
	abDF
	abDE
	abCF
	abCE
	abCD
	acEF
	acDF
	acDE
	aBcF
	aBcE
	aBcD
	adEF
	aCdF
	aCdE
	aBdF
	aBdE
	aBCd
	aDeF
	aCeF
	aCDe
	aBeF
	aBDe
	aBCe
	aDEf
	aCEf
	aCDf
	aBEf
	aBDf
	aBCf
	bcEF
	bcDF
	bcDE
	AbcF
	AbcE
	AbcD
	bdEF
	bCdF
	bCdE
	AbdF
	AbdE
	AbCd
	bDeF
	bCeF
	bCDe
	AbeF
	AbDe
	AbCe
	bDEf
	bCEf
	bCDf
	AbEf
	AbDf
	AbCf
	cdEF
	BcdF
	BcdE
	AcdF
	AcdE
	ABcd
	cDeF
	BceF
	BcDe
	AceF
	AcDe
	ABce
	cDEf
	BcEf
	BcDf
	AcEf
	AcDf
	ABcf
	CdeF
	BdeF
	BCde
	AdeF
	ACde
	ABde
	CdEf
	BdEf
	BCdf
	AdEf
	ACdf
	ABdf
	CDef
	BDef
	BCef
	ADef
	ACef
	ABef

--------------------------
*         FASE B         *
--------------------------
Quine I dx
Tempo di elaborazione: 10:6:30
Numero di forme prime paragonate: 3449719
Numero di tabelle cicliche esaminate: 3449718
Numero di implicanti soluzione: 15

SOLUZIONE (forma minima): 
abCD + aBcD + aBdE + aBCe + aCEf + bcDE + cdEF + bCdF + cDeF + BdeF + AbeF +
AbCf + AdEf + ABef + AcDf